801. Verification, Model Checking, and Abstract Interpretation
Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها
Classification :
QA
76
.
76
.
V47
2015
E-Book
,
802. Virtual design and manufacture
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation
Classification :
TS
155
.
6
.
V57
2000
803. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994
Author: edited by Joachim Rix, Stefan Haas and Jose Teixeira
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses
Classification :
QA
76
.
9
.
V5
I34
1994
804. Visualization and intelligent design in engineering and architecture
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Computer graphics - Congresses,Computer-aided design - Congrsses,Engineering design - Congrasses,Architecture - Congresses
Classification :
T385
.
I52
1993
805. WG 5.2 International workshop on Computer Aided Design (3rd
Author: / edited H.Yoshikawa,IFIP TC5
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Computer - aided design -- Congresses,Engineering design -- Data processing -- Congtesses,Artificial intelligence -- Congresses
Classification :
TA
174
.
I1318
1989
806. Web Information Systems Engineering – WISE 2015
Author: \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگرهها ,علوم کامپیوتر,شبکههای رایانه ای
Classification :
QA76
.
758
.
W41
2015
E-Book
,
807. agent systems V-Software engineering for multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
808. based software engineering-Component
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
809. oriented software engineering VI-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
810. oriented software engineering VII-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
811. oriented software engineering VIII-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
812. services :-technologies, infrastructures, tools, and applications for e-Agent
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
813. 31st Design Automation Conference, San Diego Convention Center, San Diego, CA Juan 6-10, 1994 Proceedings 1994
Author: Sponsored by ACM SIGDA ... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering design - Data processing - Congresses , Computer-aided design - Congresses
Classification :
TA
174
.
D46
1994
814. 16th Annual International Conference on Automated Software Engineering
Author: IEEE International Automated Software Engineering Conference (16th : 2001 :San Diego, California)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Software engineering- Congresses►Expert systems (Computer science)- Congresses
Classification :
76
.
758
.
I54
815. 30th Design Automation Conference, June, 14-18, 1993 Dallas, Texas Dallas Convention Center Proceedings 1993
Author: Sponsored by ACM SIGDA ...]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Engineering design - Data processing - Congresses , Computer-aided design - Congresses
Classification :
TA
174
.
D46
1993
816. 11th International Conference on Computer-Aided Production Engineering : 20-21 september, 1995
Author: Organized by the Manufaturing Division of the Institution of mechanical Engineers
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Production engineering - Data processing - Congresses , Computer-aided engineering - Congresses
Classification :
TS
176
.
I552
1995
817. 12th International Symposium on Process Systems Engineering and 25th European Symposium on Computer Aided Process Engineering.
Author: editors, Krist Gernaey, Jakob Huusom and Rafiqul Gani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided engineering, Congresses.,Production engineering-- Data processing, Congresses.
818. 7th International conference on computer-aided production engineering
Author: / edited by V.C. Venkatesh and J.A.McGeough
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Production engineering-- Data processing-- Congresses,Computer-aided engineering-- Congresses
Classification :
TS
176
.
I552
1991
819. 7th International conference on computer-aided production engineering
Author: / edited by V.C. Venkatesh and J.A.McGeough
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Production engineering-- Data processing-- Congresses,Computer-aided engineering-- Congresses
Classification :
TS
176
.
I552
1991
